#!/usr/bin/env python
# MVL_Toolkit.py : Multi-Valued Logic Toolkit by Koen Lefever 2009-2010, GPL v.3 licensed

# Multi-valued Logic class
from Logic import *

# Some logics
from PC import *
from L3 import *
from K3 import *
from J3 import *
from B4 import *

# main function
def main():
    print "MVL_Toolkit loaded."

#call the "main" function if running this script
if __name__ == '__main__': main()
